Move tutorials from etc/ to etc/tutorials/
authorGlenn Morris <rgm@gnu.org>
Wed, 22 Aug 2007 07:39:04 +0000 (07:39 +0000)
committerGlenn Morris <rgm@gnu.org>
Wed, 22 Aug 2007 07:39:04 +0000 (07:39 +0000)
commit8c4eddc26c365610d2eb629e1c769add90d80a9f
treefbecc7629a751c65ccb2904ee3bbae989da10ec8
parent918beec0cf7c96924c9951d4e15bc9f4e8404fe1
Move tutorials from etc/ to etc/tutorials/
etc/tutorials/TUTORIAL.sv [new file with mode: 0644]